Optimal. Leaf size=124 \[ \cosh \left (a+b \sqrt {c}\right ) \text {Chi}\left (b \left (\sqrt {c}-\sqrt {c+d x}\right )\right )+\cosh \left (a-b \sqrt {c}\right ) \text {Chi}\left (b \left (\sqrt {c}+\sqrt {c+d x}\right )\right )-\sinh \left (a+b \sqrt {c}\right ) \text {Shi}\left (b \left (\sqrt {c}-\sqrt {c+d x}\right )\right )+\sinh \left (a-b \sqrt {c}\right ) \text {Shi}\left (b \left (\sqrt {c}+\sqrt {c+d x}\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.29, antiderivative size = 124, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 5, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.278, Rules used = {5365, 5293, 3303, 3298, 3301} \[ \cosh \left (a+b \sqrt {c}\right ) \text {Chi}\left (b \left (\sqrt {c}-\sqrt {c+d x}\right )\right )+\cosh \left (a-b \sqrt {c}\right ) \text {Chi}\left (b \left (\sqrt {c}+\sqrt {c+d x}\right )\right )-\sinh \left (a+b \sqrt {c}\right ) \text {Shi}\left (b \left (\sqrt {c}-\sqrt {c+d x}\right )\right )+\sinh \left (a-b \sqrt {c}\right ) \text {Shi}\left (b \left (\sqrt {c}+\sqrt {c+d x}\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3298
Rule 3301
Rule 3303
Rule 5293
Rule 5365
Rubi steps
\begin {align*} \int \frac {\cosh \left (a+b \sqrt {c+d x}\right )}{x} \, dx &=\operatorname {Subst}\left (\int \frac {\cosh \left (a+b \sqrt {x}\right )}{-c+x} \, dx,x,c+d x\right )\\ &=2 \operatorname {Subst}\left (\int \frac {x \cosh (a+b x)}{-c+x^2} \, dx,x,\sqrt {c+d x}\right )\\ &=2 \operatorname {Subst}\left (\int \left (-\frac {\cosh (a+b x)}{2 \left (\sqrt {c}-x\right )}+\frac {\cosh (a+b x)}{2 \left (\sqrt {c}+x\right )}\right ) \, dx,x,\sqrt {c+d x}\right )\\ &=-\operatorname {Subst}\left (\int \frac {\cosh (a+b x)}{\sqrt {c}-x} \, dx,x,\sqrt {c+d x}\right )+\operatorname {Subst}\left (\int \frac {\cosh (a+b x)}{\sqrt {c}+x} \, dx,x,\sqrt {c+d x}\right )\\ &=\cosh \left (a-b \sqrt {c}\right ) \operatorname {Subst}\left (\int \frac {\cosh \left (b \sqrt {c}+b x\right )}{\sqrt {c}+x} \, dx,x,\sqrt {c+d x}\right )-\cosh \left (a+b \sqrt {c}\right ) \operatorname {Subst}\left (\int \frac {\cosh \left (b \sqrt {c}-b x\right )}{\sqrt {c}-x} \, dx,x,\sqrt {c+d x}\right )+\sinh \left (a-b \sqrt {c}\right ) \operatorname {Subst}\left (\int \frac {\sinh \left (b \sqrt {c}+b x\right )}{\sqrt {c}+x} \, dx,x,\sqrt {c+d x}\right )+\sinh \left (a+b \sqrt {c}\right ) \operatorname {Subst}\left (\int \frac {\sinh \left (b \sqrt {c}-b x\right )}{\sqrt {c}-x} \, dx,x,\sqrt {c+d x}\right )\\ &=\cosh \left (a-b \sqrt {c}\right ) \text {Chi}\left (b \left (\sqrt {c}+\sqrt {c+d x}\right )\right )+\cosh \left (a+b \sqrt {c}\right ) \text {Chi}\left (b \sqrt {c}-b \sqrt {c+d x}\right )+\sinh \left (a-b \sqrt {c}\right ) \text {Shi}\left (b \left (\sqrt {c}+\sqrt {c+d x}\right )\right )-\sinh \left (a+b \sqrt {c}\right ) \text {Shi}\left (b \sqrt {c}-b \sqrt {c+d x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.53, size = 127, normalized size = 1.02 \[ \frac {1}{2} e^{-a-b \sqrt {c}} \left (e^{2 \left (a+b \sqrt {c}\right )} \text {Ei}\left (b \left (\sqrt {c+d x}-\sqrt {c}\right )\right )+e^{2 a} \text {Ei}\left (b \left (\sqrt {c}+\sqrt {c+d x}\right )\right )+\text {Ei}\left (b \left (\sqrt {c}-\sqrt {c+d x}\right )\right )+e^{2 b \sqrt {c}} \text {Ei}\left (-b \left (\sqrt {c}+\sqrt {c+d x}\right )\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.92, size = 217, normalized size = 1.75 \[ \frac {1}{2} \, {\left ({\rm Ei}\left (\sqrt {d x + c} b - \sqrt {b^{2} c}\right ) + {\rm Ei}\left (-\sqrt {d x + c} b + \sqrt {b^{2} c}\right )\right )} \cosh \left (a + \sqrt {b^{2} c}\right ) + \frac {1}{2} \, {\left ({\rm Ei}\left (\sqrt {d x + c} b + \sqrt {b^{2} c}\right ) + {\rm Ei}\left (-\sqrt {d x + c} b - \sqrt {b^{2} c}\right )\right )} \cosh \left (-a + \sqrt {b^{2} c}\right ) + \frac {1}{2} \, {\left ({\rm Ei}\left (\sqrt {d x + c} b - \sqrt {b^{2} c}\right ) - {\rm Ei}\left (-\sqrt {d x + c} b + \sqrt {b^{2} c}\right )\right )} \sinh \left (a + \sqrt {b^{2} c}\right ) - \frac {1}{2} \, {\left ({\rm Ei}\left (\sqrt {d x + c} b + \sqrt {b^{2} c}\right ) - {\rm Ei}\left (-\sqrt {d x + c} b - \sqrt {b^{2} c}\right )\right )} \sinh \left (-a + \sqrt {b^{2} c}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\cosh \left (\sqrt {d x + c} b + a\right )}{x}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.10, size = 0, normalized size = 0.00 \[ \int \frac {\cosh \left (a +b \sqrt {d x +c}\right )}{x}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\cosh \left (\sqrt {d x + c} b + a\right )}{x}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {\mathrm {cosh}\left (a+b\,\sqrt {c+d\,x}\right )}{x} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\cosh {\left (a + b \sqrt {c + d x} \right )}}{x}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________